An efficient virtual system clock for the wireless raspberry pi computer platform

The use of Dynamic Voltage and Frequency Scaling (DVFS) by EnergyEfficient (EE) computer systems considerably increases the requirements regarding the design of efficient system clocks. On the one hand, the operation of a system clock must support the independent operating frequencies of the processor core units, the dynamic migration of the running processes between the processors core units, and the use of synchronization and time interpolation techniques to maintain the accuracy of the system clock. On the other hand, an efficient system clock has to minimize the overhead of its own operation, aiming at energy efficiency of EE